منابع مشابه
Compositional Safety Logics
In this paper we present a generalisation of a promising composi-tional model–checking technique introduced for finite–state systems by Andersen in [And95] and extended to networks of timed automata by Larsen et al in [LPY95a, LL95, LPY95b, KLL + 97a]. In our generalized setting, programs are modelled as arbitrary (possibly infinite–state) transition systems and verified with respect to propert...
متن کاملCompositional Reasoning for Epistemic Logics
We provide decomposition and quotienting results for multi-modal logic with respect to a composition operator, traditionally used for epistemic models, due to van Eijck et al. (Journal of Applied NonClassical Logics 21(3–4):397–425, 2011), that involves sets of atomic propositions and valuation functions from Kripke models. While the composition operator was originally defined only for epistemi...
متن کاملCompositional Reasoning for Multi-modal Logics
We provide decomposition and quotienting results for multimodal logic with respect to a composition operator, traditionally used for epistemic models, due to van Eijck et al. (Journal of Applied NonClassical Logics 21(3–4):397–425, 2011), that involves sets of atomic propositions and valuation functions from Kripke models. While the composition operator was originally defined only for epistemic...
متن کاملA compositional approach to defining logics for coalgebras
We present a compositional approach to defining expressive logics for coalgebras of endofunctors on Set. This approach uses a notion of language constructor and an associated notion of semantics to capture one inductive step in the definition of a language for coalgebras and of its semantics. We show that suitable choices for the language constructors and for their associated semantics yield lo...
متن کاملSemantics of templates in a compositional framework for building logics
There is a growing need for abstractions in logic specification languages such as FO(·) and ASP. One technique to achieve these abstractions are templates (sometimes called macros). While the semantics of templates are virtually always described through a syntactical rewriting scheme, we present an alternative view on templates as second order definitions. To extend the existing definition cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1997
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v4i13.18804